|
|
BDD knihovna
Troška, Karol ; Holík, Lukáš (oponent) ; Lengál, Ondřej (vedoucí práce)
Binární rozhodovací diagram je datová struktura využívaná v mnoha oblastech informatiky. Tato práce popisuje BDD ako matematický formalizmus a navrhuje možnou reprezentaci BDD v počítači. Návrh je zaměřen především na rychlost snížením počtu alokací paměti a na jednoduchost a intuitivnost využívaní knihovny. V práci je několik jednoduchých příkladů užití knihovny a výstrahy, kterým by se měl programátor při používaní knihovny vyvarovat. Navržená reprezentace byla implementována v jazyce C.
|
|
|
Minimalizace logických funkcí
Horký, Miroslav ; Davidová, Olga (oponent) ; Šeda, Miloš (vedoucí práce)
Pro minimalizaci logických funkcí se často využívají Booleova algebra a Karnaughovy mapy. Aplikace Karnaughových map je však založena na vizuálním rozpoznání sousedních buněk pro funkce s max. 6 proměnnými, a proto metoda není vhodná pro automatizované zpracování na počítačích. Přímá aplikace zákonů Booleovy algebry není omezena v tomto směru, ale neexistuje algoritmus, který by definoval posloupnost jejich použití, a tak rovněž není vhodná pro výpočet na počítači. Uvedené nevýhody odstraňuje metoda, kterou navrhli E. J. McCluskey a W. Orman Quine.
|
|
|
Aplikace matematických znalostí při výuce biologie
STUDENÁ, Lucie
Práce se zabývá aplikacemi matematických znalostí ve výuce biologie a je členěná do 4 kapitol. Každá kapitola se věnuje jedné aplikaci. První kapitola se týká aplikace podmíněné pravděpodobnosti v lékařské diagnostice, druhá kapitola je věnována aplikace exponenciální funkce v populační ekologii, třetí kapitola se týká aplikace logické funkce při matematickém modelování neuronu a poslední čtvrtá kapitola shrnuje aplikace binomické věty a binomického rozdělení v genetice. Každá aplikace obsahuje řešené příklady, pracovní list pro studenty a autorské řešení pracovního listu. První dvě aplikace byly otestovány ve výuce matematiky na SŠ. Studenti zhodnotili mojí výuku skrze vyplnění dotazníku, jehož výsledky jsou uvedeny na konci daných kapitol. Tato práce může být použita ve výuce biologie i matematiky nebo pro účely samostudia.
|
|
|
BDD knihovna
Troška, Karol ; Holík, Lukáš (oponent) ; Lengál, Ondřej (vedoucí práce)
Binární rozhodovací diagram je datová struktura využívaná v mnoha oblastech informatiky. Tato práce popisuje BDD ako matematický formalizmus a navrhuje možnou reprezentaci BDD v počítači. Návrh je zaměřen především na rychlost snížením počtu alokací paměti a na jednoduchost a intuitivnost využívaní knihovny. V práci je několik jednoduchých příkladů užití knihovny a výstrahy, kterým by se měl programátor při používaní knihovny vyvarovat. Navržená reprezentace byla implementována v jazyce C.
|
|
|
Minimalizace logických funkcí
Horký, Miroslav ; Davidová, Olga (oponent) ; Šeda, Miloš (vedoucí práce)
Pro minimalizaci logických funkcí se často využívají Booleova algebra a Karnaughovy mapy. Aplikace Karnaughových map je však založena na vizuálním rozpoznání sousedních buněk pro funkce s max. 6 proměnnými, a proto metoda není vhodná pro automatizované zpracování na počítačích. Přímá aplikace zákonů Booleovy algebry není omezena v tomto směru, ale neexistuje algoritmus, který by definoval posloupnost jejich použití, a tak rovněž není vhodná pro výpočet na počítači. Uvedené nevýhody odstraňuje metoda, kterou navrhli E. J. McCluskey a W. Orman Quine.
|
host ::
RSS.